General topology - PDFSEARCH.IO - Document Search Engine

General topology
Results: 894

#	Item
111	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
112	Single Stage Vacuum Inlet Filter The Busch single stage inlet filters are designed specifically for vacuum service, providing protection for your vacuum pump. The standard filter is rated Add to Reading List Source URL: www.buschusa.com Language: English - Date: 2009-05-05 10:31:14 Linear filters Filter theory Signal processing filter Electronic design Filter General topology Electronic filter Oil filter Butterworth filter Electronic engineering Electronics Electromagnetism
113	S.H Horikawa – Star Strider Robot (スターストライダーロボット) – Front Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Structure Order theory Category theory Differential topology Embedding General topology Mathematics Model theory Topology
114	Jordan Journal of Mathematics and Statistics (JJMS) 6(3), 2013, ppTOPOLOGY ON GRILL M-SPACE SHYAMAPADA MODAK Abstract. This paper is devoted to obtain a topology from a non topological Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2013-10-01 06:57:32 Functional analysis Generalized functions Uniform space Spectral theory of ordinary differential equations Mathematical analysis Mathematics General topology
115	A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:24 General topology Set theory Subset Closure OCaml Mathematical proof Support Mathematics Topology Mathematical logic
116	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:33:09 Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology
117	Computably Based Locally Compact Spaces Paul Taylor June 29, 2004 Abstract Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space is treated as an exponential object of the sam Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:10:52
118	Topology and Markets Graciela Chichilnisky ` Editor Fields Institute Communications Volume 22, 1999 Add to Reading List Source URL: chichilnisky.com Language: English - Date: 2013-05-16 17:49:40 Mathematical analysis Functions and mappings Elementary mathematics Decision theory Utility Preference Ultrafilter Stone–Čech compactification Measure Mathematics Topology General topology
119	Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:26:18 Model theory Operator theory Spectral theory Orbifold Topology General topology Compact space
120	The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-06-03 17:25:38 General topology Order theory Real analysis Calculus Measure theory Least-upper-bound property Compact space Intermediate value theorem Continuous function Mathematical analysis Topology Mathematics

UPDATE